#include <core/irq.h>
#include <core/init.h>
#include <core/io.h>
#include <arch/s3c24xx.h>


static __INIT__ MW2440XInit(void)
{
	UINT32 uVal;

	uVal = ReadLong(S3C24XX_GPBCON);
	uVal &= ~3;
	uVal |= 2;
	WriteLong(uVal, S3C24XX_GPBCON);

	//
	S3c24xxInitIrq();

	// fixme
	IrqSetTriggerType(IRQ_EINT9, IRQ_TYPE_EDGE_RISING);
	IrqSetTriggerType(IRQ_EINT7, IRQ_TYPE_LEVEL_HIGH);
}

PLAT_INIT(MW2440XInit);

